#include<stdio.h>
void main(){
	int a;
	for(a=10000;a>99;a--){
		printf("%d\t",a);
	}
}
